\begin{defn}
  This is a definition.
\end{defn}
test
\begin{prop}
  \begin{tikzcd}
    This is \arrow[r] a commutative diagram.
  \end{tikzcd}
\end{prop}
